課程大綱

課程資訊

課程名稱	專題討論 Seminar
開課學期	112-2
授課對象	電機工程學研究所
授課教師	劉智弘
課號	EE8001
課程識別碼	921 D0040
班次	03
學分	0.0
全/半年	半年
必/選修	必修
上課時間	星期一7(14:20~15:10)
上課地點	明達231
備註	計算機科學組博士班必修。限博士班總人數上限：147人

課程簡介影片
核心能力關聯	核心能力與課程規劃關聯圖
課程大綱
為確保您我的權利,請尊重智慧財產權及不得非法影印
課程概述
課程目標
課程要求
預期每週課後學習時數
Office Hours
指定閱讀
參考書目
評量方式 (僅供參考)

課程進度

週次	日期	單元主題
第4週	3/11	Tsung-Yi Ho (The Chinese University of Hong Kong) Title: Open-Source Incubation Ecosystem to Democratize Digital Microfluidics Abstract: Advances in microfluidic technologies have led to the emergence of biochip devices for automating laboratory procedures in biochemistry and molecular biology. Corresponding systems are revolutionizing a diverse range of applications, e.g. point-of-care clinical diagnostics, drug discovery, and DNA sequencing–with an increasing market. However, continued growth (and larger revenues resulting from technology adoption by pharmaceutical and healthcare companies) depends on advances in chip integration and design-automation tools. Thus, there is a need to deliver the same level of design automation support to the biochip designer that the semiconductor industry now takes for granted. In particular, the design of efficient design automation algorithms for implementing biochemistry protocols to ensure that biochips are as versatile as the macro-labs that they are intended to replace. This talk will first describe technology platforms for accomplishing “biochemistry on a chip”, and introduce the audience to both the droplet-based "digital" microfluidics based on electrowetting actuation and flow-based “continuous” microfluidics based on microvalve technology. Next, the presenter will describe system-level synthesis includes operation scheduling and resource binding algorithms, and physical-level synthesis includes placement and routing optimizations. Moreover, control synthesis and sensor feedback-based cyberphysical adaptation will be presented. In this way, the audience will see how a “biochip compiler” can translate protocol descriptions provided by an end user (e.g., a chemist or a nurse at a doctor’s clinic) to a set of optimized and executable fluidic instructions that will run on the underlying microfluidic platform. Finally, present status and future challenges of open-source microfluidic ecosystem will be covered.
第5週	3/18	陳冠銘 (台大經濟系) Title: REDUCING RECOMMENDATION INEQUALITY VIA TWO-SIDED MATCHING: A FIELD EXPERIMENT OF ONLINE DATING Abstract: Leading dating platforms usually recommend only a small fraction of users based on users’ popularity andsimilarity, leading to recommendation inequality. We use a stylized matching model from economics to mod-ify existing algorithms to reduce inequality. We evaluate the proposed method through a large-scale field ex-periment on a dating platform. Experiment results suggest that our recommender reduces inequality, improvespredictive accuracy, and leads to substantially more matched couples than other competing algorithms
第6週	3/25	何宗諭博士生 Title : Harnessing Wi-Fi Sensing for Enhanced AIOT Applications Abstract: This discourse underscores the sophisticated utilization of Wi-Fi-sensed data across pivotal AIOT realms such as motion detection, sleep monitoring, and medical diagnostics. It accentuates the strategic confluence of Wi-Fi sensing and ASIC chipsets, facilitating streamlined Edge AI deployments. This synergistic amalgamation is set to catalyze a paradigm shift in AIOT applications, rendering smart ecosystems more intuitive and interactive by adeptly harnessing ambient wireless signals for instantaneous insights and enriched user engagements. ---------------------------------------------------------------------------------------------------------------------------------------------------------------- 陳凱博士生 Title: Experience on Dataset Preprocessing in Medical Image. Abstract: This work explores dataset preprocessing in medical imaging, specifically focusing on cardiovascular research. Through computer vision and algorithmic design, we achieved the goal of making clinical imaging suitable for deep learning analysis. This work realizes the possibility of interdisciplinary research without disrupting the current medical workflow, facilitating future collaborations and ongoing data collection efforts.
第7週	4/1	江洗宇博士生 Title: Nowhere Safe Internet -- How the Internet Censorship Works Abstract: This report presents an overview of fundamental internet communication protocols and their vulnerabilities, including HTTP, TLS, DNS, VPN, and Overlay networks. The existing network communication protocols enable user monitoring and even internet censorship during online activities. Additionally, this report will explore how the latest network communication protocols aim to address these issues, thereby enhancing user privacy and communication security. ---------------------------------------------------------------------------------------------------------------------------------------------------------------- 陳羿翔博士生 Title: Crowd Counting: Advancements and Emerging Trends Abstract: Crowd counting is a computer vision task that involves estimating the number of people or objects within a given area, typically through the analysis of images or videos. This task is important in various applications, including crowd management, urban planning, security surveillance, and event monitoring. This report will share mainstream research and our improved methods.
第8週	4/8	期中考週
第9週	4/15	Wei-Lun (Leo) Huang, University of Michigan Title: Adaptive Vulnerability Detection in IoT Ecosystems Abstract: IoT applications are ubiquitous in our daily lives. They collect sensitive user data, help users make critical decisions, and are thus popular targets of security attacks. Most IoT applications run with real-time constraints and limited compute resources, so it is undesirable and sometimes infeasible to patch their vulnerabilities on the fly. IoT vendors detect and remove vulnerabilities in their products beforehand to reduce the need for on-the-fly patches. However, it is hard to design vulnerability detection for general IoT applications since they run on diverse platforms and serve a wide range of purposes. In this talk, I will share my Ph.D. research on vulnerability detection for general IoT applications. To resolve the challenges posed by the diversity in application platforms and purposes, I have designed several approaches that adapt to the observed executions of IoT applications under test. (1) ES-Fuzz boosts the coverage of firmware fuzz-testing by refining stateless and fixed peripheral models into stateful and adaptive ones. This refinement runs iteratively on the observed high-coverage executions of firmware under test. (2) BLE-Cracker assesses the location privacy of Bluetooth LE (BLE) devices by their data in BLE advertisements. It monitors the BLE traffic in an area, estimates the exploitability of each data therein for area-specific device tracking, and enables real-time tracking attacks in the area that adapt to the latest estimates. (3) Cipherfast mitigates ciphertext side channels in crypto software running on AMD EPYC automatically. It hardens crypto software at the LLVM-IR level rather than the binary level, thus lowering the run-time overhead of masking-based solutions and enabling nonce-based solutions. It adapts side-channel detection from the binary level to the LLVM-IR level by tracing the executions of software under test. My works have respectively improved the security of end devices (leaf nodes), device communications (edges), and the cloud (powerful core) in an IoT ecosystem.
第10週	4/22	王璲博士生 Title: Morphing of Area-Universal Contact Graph Representation Abstract: Graph morphing is an important topic in dynamic graph drawing. While morphing of geometric graphs has been studied extensively, morphing polygonal contact representations of plane graphs presents additional challenges as it requires the underlying polygons to maintain their shapes and the contacts (e.g., touching sides) so that the drawing remains a valid contact presentation at any given time. A polygonal contact representation is area-universal if any assignment of areas to the constituent (convex) polygons can be realized by a combinatorically equivalent drawing. We write t-TkR to denote a hole-free contact representation using convex polygons of at most k sides with the outer boundary of the drawing a convex polygon of exactly t sides. In this paper, we investigate the morphing of area-universal t-TkR's. We define a parallel linear morph (PLM, for short) as a linear morph where the trajectories of the two end points as well as all the junction points on a single line segment are parallel to each other. We proved that given a one-sided and sliceable 3-T3R, there exists a sequence of PLM (i.e., a piecewise PLM) between any two area assignments. Furthermore, every biconnected outerplane graph admits an area-universal 3-T4R where a piecewise PLM can transform from one area assignment to another. We showed in both cases O(n) PLM suffice, with n being the number of junction points in the drawing. Our algorithm also ensures that the change of the area of each internal polygon is monotone in the piecewise PLM. ---------------------------------------------------------------------------------------------------------------------------------------------------------------- 張浩祥博士生 Title: Web-based Testing, Captcha and Fintech Modeling Abstract: This presentation delves into the realm of web-based testing, captcha solving, and fintech modeling, proceeding to explore web-based automation testing, providing insights into its significance and implementation. The discussion further delves into the challenges and solutions associated with solving CAPTCHAs, followed by an exploration of the integration of machine learning and deep learning techniques in financial projects. Additionally, the application of natural language processing (NLP) in fintech modeling is examined.
第11週	4/26	孫烜駿（臺大氣候變遷與永續發展國際學位學程） Title: 昆蟲與人生：適應不斷變化的環境 Abstract: 全球氣候變遷是當前人類與生物面臨的最大挑戰之一，了解動物如何在不斷變化的環境中求生存，及其背後的生態與演化機制，顯得格外重要。本研究以埋葬蟲為例，透過野外觀察和室內實驗相結合的方法，探討這些昆蟲如何在溫度劇烈波動下與其他昆蟲競爭有限的資源。在自然環境中，埋葬蟲利用小型動物屍體作為繁殖的資源，但在高溫條件下，蒼蠅的競爭異常激烈，能迅速加速屍體的腐敗進程。我們的研究發現，埋葬蟲能透過種內外合作來有效對抗蒼蠅的競爭壓力。這些發現不僅深化了我們對昆蟲行為生態的理解，也為人類提供了重要的啟示：面對全球氣候變遷所帶來的挑戰，合作或許是解決危機的關鍵策略。